ShadowModule.agda:10,8-9
Duplicate definition of module B. Previous definition of module B
at
ShadowModule.agda:5,10-11
when scope checking the declaration
  module B where
